منابع مشابه
Toward Full Elasticity in Distributed Static Analysis
In this paper we present the design and implementation of a distributed static analysis framework that is designed to scale with the size of the input. Our approach is based on the actor programming model and is deployed in the cloud. Our reliance on a cloud cluster provides a degree of elasticity for CPU, memory, and storage resources. To demonstrate the potential of our technique, we show how...
متن کاملStatic Analysis Using the Cloud
In this paper we describe our experience of using Microsoft Azure cloud computing platform for static analysis. We start by extending Static Driver Verifier to operate in the Microsoft Azure cloud with significant improvements in performance and scalability. We present our results of using SDV on single drivers and driver suites using various configurations of the cloud relative to a local mach...
متن کاملStatic analysis of rectangular nanoplates using exponential shear deformation theory based on strain gradient elasticity theory
In this research, the bending analysis of rectangular nanoplates subjected to mechanical loading is investigated. For this purpose, the strain gradient elasticity theory with one gradient parameter is presented to study the nanoplates. From the best knowledge of authors, it is the first time that the exponential shear deformation formulation based on strain gradient elasticity theory is carried...
متن کاملStatic Pull-in Analysis of Capacitive FGM Nanocantilevers Subjected to Thermal Moment using Eringen’s Nonlocal Elasticity
This paper aims to investigate the pull-in phenomenon of functionally graded (FG) capacitive nanocantilevers subjected to an electrostatic force and thermal moment due to an applied voltage and thermal shock considering intermolecular force within the framework of nonlocal elasticity theory to account for the small scale effect. The FG nano-beam is made of mixture of metal and ceramic which the...
متن کاملAn Elasticity Solution for Static Analysis of Functionally Graded Curved Beam Subjected to a Shear Force
In this paper, using 2-D theory of elasticity, a closed-form solution is presented for stressdistributions and displacements of a FG curved beam under shear force at its free end. The materialproperties are assumed to vary continuously through the radial direction based on a simple power lawmodel and Poisson’s ratio is supposed to be constant. In order to verify the solution, it is shown that a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2017
ISSN: 0167-6423
DOI: 10.1016/j.scico.2017.03.008